Kojna sumo

En topologio, la kojna sumo (iam ankaŭ kojna produto) estas "unu-punkta unuigo" de familio de topologiaj spacoj. Aparte, se X kaj Y estas punktitaj pacoj (kio estas topologiaj spacoj kun distingitaj bazaj punktoj x₀ kaj y₀) la kojna sumo de X kaj Y estas la kvocienta spaco de la disa unio de X kaj Y per la identigo x₀ ∼ y₀:

${\displaystyle X\vee Y=(X\amalg Y)\;/\;\{x_{0}\sim y_{0}\}}$

Pli ĝenerale, estu (X_i)_{i ∈ I} familio de punktitaj spacoj kun bazaj punktoj {p_i}. La kojna sumo de la familio estas donita kiel:

${\displaystyle \bigvee _{i}X_{i}:=\coprod _{i}X_{i}\;/\;\{p_{i}\sim p_{j}\mid i,j\in I\}}$

En aliaj vortoj, la kojna sumo estas la kunigo de kelkaj spacoj je sola punkto. Ĉi tiu difino kompreneble dependas de elekto de {p_i} se la spacoj {X_i} ne estas homogenaj.